21. 3D math primer for graphics and game development [electronic resource]
Author: / Fletcher Dunn and Ian Parberry
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Computer graphics,Computer games--Programming,Computer science--Mathematics
Classification :
EB
,
T385
.
D875
2002
22. Discrete structures, logic, and computability
Author: James L. Hein
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
Classification :
QA
76
,.
9
.
H42D5
2010
23. Discrete structures, logic, and computability
Author: / James L. Hein
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
Classification :
QA76
.
9
.
M35
,.
H44
2010
24. Discrete structures, logic, and computability
Author: James L. Hein
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
Classification :
QA
76
.
9
.
M35H43
2010
25. Domain-theoretic foundations of functional programming
Author: / Thomas Streicher
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
Classification :
QA
76
.
7
.
S818
2006
26. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Author: Wilfried Brauer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
Classification :
QA
76
.
L28
Vol
.
2300
27. Generalized quantifiers and computation
Author: Jouko Väänänen (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
28. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
Author: Jouko Vaananen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1754
29. Grammars and automata for string processing: from mathematics and computer science to biology, and back
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
Classification :
QA
76
.
G64
2003
30. Grammars and automata for string processing : from mathematics and computer science to biology, and back
Author: edited by Carlos Martin-Vide and Victor Mitrana
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
Classification :
QA
76
.
G69
31. Guide to Scientific Computing in C++ /
Author: by Joe Pitt-Francis, Jonathan Whiteley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6-76
.
66
32. Guide to discrete mathematics :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
Classification :
QA76
.
9
.
M35
33. Initial computability, algebraic specifications, and partial algebras
Author: / by Horst Reichel
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras
Classification :
QA
76
.
9
.
M35R45
1987
34. Integrated Methods for Optimization
Author: / John N. Hooker
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematical optimization,Programming (Mathematics),Constraint programming (Computer science),Computer science, Mathematical models
Classification :
T57
.
H66
2012
35. Integrated methods for optimization
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematical optimization. ; Programming (Mathematics) ; Constraint programming (Computer science) ; Computer science ; Mathematical models. ;
36. Integrated methods for optimization
Author: Hooker, John
Library: (Semnan)
Subject: ، Mathematical optimization,، Programming )Mathematics(,، Constraint programming )Computer science(,Mathematical models ، Computer science
Classification :
T
57
.
H6I5
2007
37. Integrated methods for optimization
Author: by John N. Hooker
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Mathematical optimization,Programming (Mathematics),Constraint programming (Computer science),Computer science, Mathematical models
Classification :
519
,.
6
,.
H66
,
2007
38. Integrated methods for optimization
Author: / by John N. Hooker
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematical optimization.,Programming (Mathematics),Constraint programming (Computer science),Computer science--Mathematical models
Classification :
T
,
57
,.
H66
,
2007
39. Integrated methods for optimization
Author: / John N. Hooker
Library: Farabi Faculty Library, University of Tehran (Qom)
Subject: Mathematical optimization,Programming (Mathematics),Constraint programming (Computer science),Computer science--Mathematical models
Classification :
T
57
.
H66
2012
40. Intelligent Optimisation Techniques: Genetic Algorithms, Tabu Search, Simulated Annealing and Neural Networks
Author: Pham, D. T.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Engineering-- Data processing,، Computer-aided engineering,، Heuristic programming,، Genetic algorithms,، Simulated annealing )Mathematics(,، Neural networks )Computer science(
Classification :
TA
345
.
P54
2000
